Functional Abstract Interpretation
simon.peytonjones.orgยท23hยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Enough unix to get by
thoughtbot.comยท1d
๐Ÿ“Shell Parsing
Sandboxing AI - Extending AI Responsibly
dev.toยท9hยท
Discuss: DEV
๐Ÿ”’WASM Capabilities
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.comยท9h
๐Ÿฆ€Rust Verification
Song recommendations with pipes and filters
blog.ploeh.dkยท1d
ฮปLambda Formalization
A Rust shaped hole
ente.ioยท1d
๐Ÿฆ€Rust Macros
Cactus Language โ€ข Stylistics 4
inquiryintoinquiry.comยท8h
๐ŸŒณContext free grammars
You Are in a Box
jyn.devยท1dยท
Discuss: Lobsters, Hacker News
๐ŸšShell Calculus
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.orgยท1d
๐Ÿง Computational Logic
I've written a simple Unix(-like) shell in Go
reddit.comยท1dยท
Discuss: r/golang
๐ŸงฉShell Metaprogramming
Helix Editor Release 25.07 Highlights
helix-editor.comยท4hยท
Discuss: Lobsters, Hacker News, r/linux
๐ŸŒณIncremental Parsing
Defeating Memory Leaks With Zig Allocators
tgmatos.github.ioยท8hยท
Discuss: Hacker News, r/programming
๐Ÿ”’Type Safety
Coroutines in C
hackaday.comยท1d
๐Ÿ”ฉSystems Programming
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.ilยท2hยท
Discuss: Hacker News
๐ŸŽฏInteractive Provers
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.itยท23hยท
Discuss: Hacker News
๐Ÿ”Type Inference
W1seGuy | TryHackMe Walkthrough โ€” XOR? BrUt3_F0rC3 iT
infosecwriteups.comยท1d
๐Ÿ”Cryptographic Archaeology
The Best C++ Library
mcyoung.xyzยท1dยท
Discuss: Lobsters, Hacker News, r/cpp
๐Ÿฆ€Rust Borrowing
An LLM Router That Thinks Like an Engineer
medium.comยท6hยท
Discuss: Hacker News
๐Ÿ“กBGP Archaeology
In defence of Golang error handling
ajahcs.comยท1dยท
Discuss: Hacker News
๐ŸšBash Monads
Why Hoon?
docs.urbit.orgยท1dยท
Discuss: Hacker News
๐ŸšBash Monads